home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / lisp / eulisp / feel-075.lha / feel0.75 / Src / modops.c < prev    next >
C/C++ Source or Header  |  1992-06-18  |  9KB  |  400 lines
  1. /* ******************************************************************** */
  2. /* modops.c          Copyright (C) Codemist and University of Bath 1989 */
  3. /*                                                                      */
  4. /* Dynamic module manipulation                                          */
  5. /* ******************************************************************** */
  6.  
  7. /*
  8.  * Change Log:
  9.  *   Version 1, June 1990 
  10.  */
  11.  
  12. #include "funcalls.h"
  13. #include "defs.h"
  14. #include "structs.h"
  15. #include "error.h"
  16. #include "global.h"
  17.  
  18. #include "symboot.h"
  19. #include "allocate.h"
  20. #include "modules.h"
  21. #include "specials.h"
  22. #include "modboot.h"
  23. #include "root.h"
  24. #include "table.h"
  25.  
  26. /* Dynamic module loading... */
  27.  
  28. EUFUN_1( Fn_dynamic_load_module, name)
  29. {
  30.   extern LispObject load_module(LispObject*);
  31.  
  32.   if (!is_symbol(name))
  33.     CallError(stacktop,
  34.           "dynamic-load-module: not a symbolic name",name,NONCONTINUABLE);
  35.  
  36.   EUCALL_1(load_module,name);
  37.  
  38.   return(get_module(stacktop,ARG_0(stackbase)));
  39. }
  40. EUFUN_CLOSE
  41.  
  42. extern LispObject Fn_module_value(LispObject*);
  43.  
  44. EUFUN_2( Fn_dynamic_accessiblep, mod, sym)
  45. {
  46.   if (!is_symbol(sym))
  47.     CallError(stacktop,"dynamic-accessiblep: non-symbol",sym,NONCONTINUABLE);
  48.  
  49.   if (!is_i_module(mod) && !is_c_module(mod))
  50.     CallError(stacktop,"dynamic-accessiblep: non-module",mod,NONCONTINUABLE);
  51.  
  52.   return((module_binding_exists_p(stacktop,mod,sym) ? lisptrue : nil));
  53. }
  54. EUFUN_CLOSE
  55.  
  56. EUFUN_2( Fn_dynamic_access, mod, sym)
  57. {
  58.   if (!is_symbol(sym))
  59.     CallError(stacktop,"dynamic-access: non-symbol",sym,NONCONTINUABLE);
  60.  
  61.   if (!is_i_module(mod) && !is_c_module(mod))
  62.     CallError(stacktop,"dynamic-accessible: non-module",mod,NONCONTINUABLE);
  63.  
  64.   return(EUCALL_2(Fn_module_value,mod,sym));
  65. }
  66. EUFUN_CLOSE
  67.  
  68. EUFUN_1( Fn_get_module, sym)
  69. {
  70.   LispObject val;
  71.  
  72.   if (!is_symbol(sym))
  73.     CallError(stacktop,"get-module: non-symbol",sym,NONCONTINUABLE);
  74.  
  75.   val = get_module(stacktop,sym);
  76.  
  77.   return(val);
  78. }
  79. EUFUN_CLOSE
  80.  
  81. EUFUN_1( Fn_module_name, mod)
  82. {
  83.   if (!is_i_module(mod) && !is_c_module(mod))
  84.     CallError(stacktop,"module-name: not a module",mod,NONCONTINUABLE);
  85.  
  86.   return(mod->I_MODULE.name);
  87. }
  88. EUFUN_CLOSE
  89.  
  90. EUFUN_1( Fn_module_exports, mod)
  91. {
  92.   if (!is_i_module(mod) && !is_c_module(mod))
  93.     CallError(stacktop,"module-exports: not a module",mod,NONCONTINUABLE);
  94.  
  95.   return(mod->I_MODULE.exported_names); /* Should copy... */
  96. }
  97. EUFUN_CLOSE
  98.  
  99. EUFUN_2(Fn_add_module_export, mod, name)
  100. {    
  101.   LispObject xx;
  102.  
  103.   xx=EUCALL_2(Fn_cons,name, mod->I_MODULE.exported_names);
  104.   mod->I_MODULE.exported_names=xx;
  105.   return nil;
  106. }
  107. EUFUN_CLOSE
  108.  
  109. /* Module junk for bytecode interpreter */
  110.  
  111. EUFUN_2(Fn_make_module, name, nbinds )
  112. {
  113.   char *myspace;
  114.   LispObject newmod,tab;
  115.   LispObject binds;
  116.   int i;
  117.  
  118.   myspace=allocate_space(stacktop,sizeof(MODULE));
  119.   tab=allocate_table(stacktop,Fn_eq);
  120.  
  121.   newmod=(LispObject) myspace;
  122.   binds=allocate_static_vector(stacktop,intval(nbinds));
  123.  
  124.   for (i=0; i<intval(nbinds); i++)
  125.     {
  126.       vref(binds,i)=nil; /* NULL maybe */
  127.     }
  128.  
  129.   lval_classof(newmod)=Object;
  130.   lval_typeof(newmod)=TYPE_C_MODULE;
  131.   /* hack */
  132.   gcof(newmod)=gcof(nil);
  133.   newmod->MODULE.name=name;
  134.   newmod->MODULE.imported_modules=nil;
  135.   newmod->MODULE.bindings=tab;
  136.   newmod->MODULE.exported_names=nil;
  137.   newmod->C_MODULE.values=binds;
  138.   newmod->C_MODULE.entry_count=nbinds;
  139.   put_module(stacktop,newmod->MODULE.name,newmod);
  140.  
  141.   return newmod;
  142. }
  143. EUFUN_CLOSE
  144.  
  145. static EUFUN_2(Fn_binding_location,mod,name)
  146. {
  147.   LispObject bind;
  148.  
  149.   bind=GET_BINDING(mod,name);
  150.  
  151.   return (BINDING_VALUE(bind));
  152. }
  153. EUFUN_CLOSE
  154.  
  155. static EUFUN_2(Fn_binding_home,mod,name)
  156. {
  157.   LispObject bind;
  158.  
  159.   bind=GET_BINDING(mod,name);
  160.  
  161.   return (BINDING_HOME(bind));
  162. }
  163. EUFUN_CLOSE
  164.  
  165. static EUFUN_4(Fn_add_import,mod,name,inmod,inname)
  166. {
  167.   LispObject bind;
  168.  
  169.   bind=GET_BINDING(inmod,inname);
  170.  
  171.   IMPORT_BINDING(ARG_0(stackbase)/*mod*/,ARG_1(stackbase)/*name*/,bind);
  172.   
  173.   return nil;
  174. }
  175. EUFUN_CLOSE
  176.  
  177. EUFUN_3(Fn_add_binding,mod,name,loc)
  178. {
  179.   
  180.   ADD_BINDING(ARG_0(stackbase)/*mod*/,name,loc,nil);
  181.   
  182.   return nil;
  183. }
  184. EUFUN_CLOSE
  185.  
  186. static EUFUN_2(Fn_module_val,mod,n)
  187. {
  188.   return (vref((mod->C_MODULE.values),intval(n)));
  189. }
  190. EUFUN_CLOSE
  191.  
  192. static EUFUN_3(Fn_module_val_setter,mod,n,val)
  193. {
  194.   vref((mod->C_MODULE.values),intval(n))=val;
  195.   
  196.   return nil;
  197. }
  198. EUFUN_CLOSE
  199.  
  200. /* DJB Type hacks */
  201. /* would be real nice if this was a function */
  202. EUFUN_3(Sf_reify_env,mod,env,form)
  203. {
  204.   LispObject lst=nil;
  205.   Env ptr;
  206.   
  207.   ptr=&(env->ENV);
  208.  
  209.   while (ptr!=NULL)
  210.     {
  211.       LispObject xx;
  212.  
  213.       STACK_TMPV(ptr->next);
  214.       STACK_TMP(lst);
  215.       xx=EUCALL_2(Fn_cons,ptr->variable,ptr->value);
  216.       UNSTACK_TMP(lst);
  217.       lst=EUCALL_2(Fn_cons,xx,lst);
  218.       UNSTACK_TMPV(ptr);
  219.     }
  220.   lst=EUCALL_2(Fn_cons,ARG_0(stackbase)->MODULE.name,lst);
  221.   return lst;
  222. }
  223. EUFUN_CLOSE
  224.  
  225. EUFUN_2(Fn_make_function, envlst, body)
  226. {    /* CAR(body) should be an arglist */
  227.  
  228.   LispObject env=NULL;
  229.   LispObject mod;
  230.   LispObject ptr=CDR(envlst);
  231.   
  232.   while(ptr!=nil)
  233.     {
  234.       STACK_TMP(CDR(ptr));
  235.       env=allocate_env(stacktop,CAR(CAR(ptr)),CDR(CAR(ptr)), env);
  236.       
  237.       UNSTACK_TMP(ptr);
  238.     }
  239.   
  240.   STACK_TMP(env);
  241.   mod=get_module(stacktop,CAR(ARG_0(stackbase))/*name*/);
  242.   UNSTACK_TMP(env);
  243.  
  244.   return(EUCALL_3(Sf_lambda,mod,env,ARG_1(stackbase)));
  245. }
  246. EUFUN_CLOSE
  247.  
  248. static EUFUN_1(Fn_function_body, fn)
  249. {
  250.   if (!is_i_function(fn))
  251.     CallError(stacktop,"Fn_body: not an i-function",fn,NONCONTINUABLE);
  252.   
  253.   /*Should add the lambda-list! */
  254.   return fn->I_FUNCTION.body;
  255. }
  256. EUFUN_CLOSE
  257.  
  258. EUFUN_1(Fn_function_env, fn)
  259. {
  260.   LispObject lst=nil;
  261.   Env ptr;
  262.   
  263.   if (!is_i_function(fn))
  264.     CallError(stacktop,"Fn_body: not an i-function",fn,NONCONTINUABLE);
  265.  
  266.   ptr=fn->I_FUNCTION.env;
  267.  
  268.   while (ptr!=NULL)
  269.     {
  270.       LispObject xx;
  271.  
  272.       STACK_TMPV(ptr->next);
  273.       STACK_TMP(lst);
  274.       xx=EUCALL_2(Fn_cons,ptr->variable,ptr->value);
  275.       UNSTACK_TMP(lst);
  276.       lst=EUCALL_2(Fn_cons,xx,lst);
  277.       UNSTACK_TMPV(ptr);
  278.     }
  279.   lst=EUCALL_2(Fn_cons,(fn->I_FUNCTION.home)->MODULE.name,lst);
  280.   return lst;
  281. }
  282. EUFUN_CLOSE
  283.  
  284. EUFUN_2(Fn_modify_function_env, fn, envlst)
  285. {
  286.   LispObject env=NULL;
  287.   LispObject mod;
  288.   LispObject ptr=CDR(envlst);
  289.   
  290.   if (!is_i_function(fn))
  291.     CallError(stacktop,"Fn_body: not an i-function",fn,NONCONTINUABLE);
  292.  
  293.   while(ptr!=nil)
  294.     {
  295.       STACK_TMP(CDR(ptr));
  296.       env=allocate_env(stacktop,CAR(CAR(ptr)),CDR(CAR(ptr)), env);
  297.       
  298.       UNSTACK_TMP(ptr);
  299.     }
  300.   
  301.   STACK_TMP(env);
  302.   mod=get_module(stacktop,CAR(ARG_1(stackbase))/*name*/);
  303.   UNSTACK_TMP(env);
  304.  
  305.   fn->I_FUNCTION.env = &env->ENV;
  306.   fn->I_FUNCTION.home = mod;
  307.  
  308.   return fn;
  309. }
  310. EUFUN_CLOSE
  311.  
  312. /* 
  313.  * Gobbing out a description file
  314.  * 
  315.  * Contains location info of all loaded modules
  316.  */
  317.  
  318. void make_description_file(LispObject *stacktop)
  319. {
  320. #ifdef BCI
  321.   extern LispObject Fn_boot_module_list(LispObject *);
  322.  
  323.   FILE *file;
  324.   LispObject mods,cmods;
  325.   int i=1;
  326.  
  327.   file=fopen("you.mods","w");
  328.   
  329.   mods=Fn_boot_module_list(stacktop);
  330.   mods=CDR(mods);
  331.   fprintf(file,"(\n");
  332.   while (mods!=nil)
  333.     {
  334.       LispObject binds;
  335.       LispObject vals;
  336.       fprintf(file,"(%s %d",stringof(CAR(mods)->MODULE.name->SYMBOL.pname),i);
  337.       binds=EUCALL_1(Fn_table_keys,CAR(mods)->MODULE.bindings);
  338.       vals=EUCALL_1(Fn_table_parameters,CAR(mods)->MODULE.bindings);
  339.       
  340.       while (binds!=nil)
  341.     {
  342.       fprintf(file," (|%s| . %d)",stringof(CAR(binds)->SYMBOL.pname), intval(BINDING_VALUE(CAR(vals))));
  343.       vals=CDR(vals);
  344.       binds=CDR(binds);
  345.     }
  346.       fprintf(file,")\n");
  347.       
  348.       i++;
  349.       mods=CDR(mods);
  350.     }
  351.   fprintf(file,")\n");
  352.   return;
  353. #else /* no bci */
  354.   return;
  355. #endif
  356. }
  357.  
  358. /*
  359.  * Initialisation...
  360.  */
  361.  
  362. #define MODULE_OPERATORS_ENTRIES 19
  363.  
  364. MODULE Module_module_operators;
  365. LispObject Module_module_operators_values[MODULE_OPERATORS_ENTRIES];
  366.  
  367. void initialise_module_operators(LispObject *stacktop)
  368. {
  369.   open_module(stacktop,
  370.           &Module_module_operators,
  371.           Module_module_operators_values,
  372.           "module-operators",
  373.           MODULE_OPERATORS_ENTRIES);
  374.  
  375.   (void) make_module_function(stacktop,
  376.                   "dynamic-load-module",Fn_dynamic_load_module,1);
  377.   (void) make_module_function(stacktop,"dynamic-access",Fn_dynamic_access,2);
  378.   (void) make_module_function(stacktop,
  379.                   "dynamic-accessible-p",Fn_dynamic_accessiblep,2);
  380.   (void) make_module_function(stacktop,"get-module",Fn_get_module,1);
  381.   (void) make_module_function(stacktop,"module-name",Fn_module_name,1);
  382.   (void) make_module_function(stacktop,"module-exports",Fn_module_exports,1);
  383.  
  384.   (void) make_module_function(stacktop,"add-module-export",Fn_add_module_export,2);
  385.   (void) make_module_function(stacktop,"make-module",Fn_make_module,2);
  386.   (void) make_module_function(stacktop,"module-binding-location",Fn_binding_location,2);
  387.   (void) make_module_function(stacktop,"module-binding-home",Fn_binding_home,2);
  388.   (void) make_module_function(stacktop,"add-module-import",Fn_add_import,4);
  389.   (void) make_module_function(stacktop,"add-module-binding",Fn_add_binding,3);
  390.   (void) make_module_function(stacktop,"module-value",Fn_module_val,2);
  391.   (void) make_module_function(stacktop,"module-value-setter",Fn_module_val_setter,3);
  392.   (void) make_module_special(stacktop,"reify-env",Sf_reify_env);
  393.   (void) make_module_function(stacktop,"make-function",Fn_make_function,2);
  394.   (void) make_module_function(stacktop,"function-body",Fn_function_body,1);
  395.   (void) make_module_function(stacktop,"function-env",Fn_function_env,1);
  396.   (void) make_module_function(stacktop,"modify-function-env",Fn_modify_function_env,2);
  397.   close_module();
  398. }
  399.  
  400.